function expandHighlighter(){jQuery(".show").each(function(){this.style.display="none"
});
jQuery(".source").slideDown();
jQuery(".hide").fadeIn()
}function collapseHighlighter(){jQuery(".hide").each(function(){this.style.display="none"
});
jQuery(".show").fadeIn();
jQuery(".source").slideUp()
};